The mechanical parallelization of loop nests containing while loops

Acknowledgments Nobody can write a thesis without help form others, and it is usually impossible to express one's gratitude for this immense amount of help. The least I can do is to devote the rst pages of my thesis to all these wonderful people, and thank them all for their precious support and individual help. I want to mention some people explicitly, even knowing that my list must be inclomplete. First of all, I want to thank Professor Christian Lengauer who has been an excellent advisor to me. Thank you for my position, for your liberality concerning working modes, for uncountably many fruitful discussions with you (oocial and private), for your indefatigability in improving my English, for multiple detailed proof readings of this thesis, for always having time for my problems, ...; short, thank you for having been a real \Doktorvater", which, to me, is more than an advisor. In addition, I am grateful to Professor Paul Feautrier: thank you that you have accepted to review this thesis, and took the time to give me detailed comments on my draft of this thesis. I also want to thank Professor P. Kleinschmidt, Professor F.-J. Brandenburg and Professor W. Hahn for having agreed to being my examiners and for their helpfulness. Furthermore, I would like to thank Professor N. Schwartz who always helps at the formal aspects on the way to a Ph. D. However, there are also helpful persons outside of my dissertation committee. First of all, I want to thank my French colleague and friend Jean-Frann cois Collard. Thank you for your cooperation already at the beginning of this thesis, when we did not yet know each other. Because of your open-minded way, we succeeded in working together instead of being competitors. This led to many fruitful discussions and a deep friendship. Thanks a lot for that. Furthermore, I would like to thank the members of the Lehrstuhl f ur Programmierung for the good working climate and for some helpful hints, and esp. Christoph Herrmann for his excellent proof reading. In addition, there is another member of the group I want to mention speciically: Ulrike Lechner. I would call her \the good soul of our group". Thank you for sharing the ooce and some work, and for the wonderful climate in our ooce, not only due to your owers. A-pro-pos climate: one of the most agreeable teams I have ever …